.hl {
  background-color: grey;
}

pre {
  border: 1px dotted;
  padding: 5px;
  font-family: Consolas, Menlo, 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
  overflow-x: scroll;
  user-select: all;
}